Efficient Verification Against Undesired Operating Points for MOS Analog Circuits
نویسندگان
چکیده
منابع مشابه
Symbolic Verification of MOS Circuits
The program MOSSYM simulates the behavior of a MOS circuit represented as a switch-level network symbolically. That is, during simulator operation the user can set an input to either 0, 1, or a Boolean variable. The simulator then computes the behavior of the circuit as a function of the past and present input variables. By using heuristically efficient Boolean function manipulation algorithms,...
متن کاملModeling of accumulation MOS capacitors for high performance analog circuits
A physical-based model for MOS capacitors in accumulation is presented, which is able to predict the non-linear distortion accurately. The key idea of this work is to include the polysilicon gate depletion effect in that model. Several test structures based on MOS capacitors in accumulation have been implemented with the aim of validating the model and to explore the potential applications to h...
متن کاملDynamic Threshold MOS transistor for Low Voltage Analog Circuits
Due to larger driving ability with low leakage current, the Dynamic Threshold MOSFET(DTMOS) is attractive for low power applications. Additionally as transistors always work in the saturation region for analog and RF applications, the analog characteristics of DTMOS in saturation region are also attractive. The performance of analog circuits strongly depends on how the characteristics of the tr...
متن کاملStatistical Modeling of Device Mismatch MOS Integrated Circuits for Analog
A generalized parameter-level statistical MOS model, called SMOS, capable of generating statistically significant model decks from intraand inter-die parameters statistics is described. Calculated model decks preserve the inherent correlations between model parameters while accounting for the dependence of parameter variance on device separation distance and device area. Using a Monte Carlo app...
متن کاملQualitative Abstraction based Verification for Analog Circuits
The verification of analog designs is a challenging and exhaustive task that requires deep understanding of the physical behaviors. In this paper, we propose a qualitative based predicate abstraction method for the verification of a class of non-linear analog circuits. The method is based on combining techniques from constraint solving and computer algebra along with symbolic model checking. We...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Circuits and Systems I: Regular Papers
سال: 2017
ISSN: 1549-8328,1558-0806
DOI: 10.1109/tcsi.2017.2693208